Arrow categories
نویسنده
چکیده
Goguen categories were introduced as a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In this paper we want to study the algebraic structures derived from Goguen categories by replacing its second-order axiom by some weaker versions.
منابع مشابه
The Arrow of Care Map: Abstract Care in Ideal Theory
This paper advances a framework to conceptualize societal caregiving arrangements abstractly. It is abstract in that it brackets the meaning of our particular relationships. This framework, which I call the arrow of care map, is a descriptive tracking model that is a necessary component of a theory of justice, but it is not a normative prescription in itself. The basic idea of the map is then m...
متن کاملCategorifying Computations into Components via Arrows as Profunctors
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic component calculus for composing state-based systems as components—in fact, it is a categorified version of arrow that does so. In this paper, following the second author’s previous work with Heunen, Jacobs and Sokolova, we ...
متن کاملCoherence of the Double Involution on ∗-autonomous Categories
We show that any free ∗-autonomous category is strictly equivalent to a free ∗-autonomous category in which the double-involution (−)∗∗ is the identity functor and the canonical isomorphism A A∗∗ is an identity arrow for all A.
متن کاملUniversal Arrows to Forgetful Functors from Categories of Topological Algebra
We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological groups, free locally convex spaces, free Banach-Lie algebras, and more. An accent is put on relationship of those constructions with other areas of mathematics an...
متن کاملThe Eckman - Hilton argument and higher operads
To the memory of my father. Abstract The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 160 شماره
صفحات -
تاریخ انتشار 2009